realme 10 pro vs redmi note 12 pro